Verifying Generalized Soundness of Workflow Nets
نویسندگان
چکیده
منابع مشابه
Verifying soundness of business processes: A decision process Petri nets approach
This paper presents a trajectory-tracking approach for verifying soundness of workflow/Petri nets represented by a decision-process Petri net. Well-formed business processes correspond to sound workflow nets. The advantage of this approach is its ability to represent the dynamic behavior of the business process. We show that the problem of finding an optimum trajectory for validation of well-fo...
متن کاملChecking Properties of Adaptive Workflow Nets
In this paper we consider adaptive workflow nets, a subclass of nested nets that allows more comfort and expressive power for modelling adaptation and exception handling in workflow nets. We define two important behavioral properties of adaptive workflow nets: soundness and circumspectness. Soundness means that a proper final marking (state) can be reached from any marking which is reachable fr...
متن کاملOn generating n-sound nets with substitution
We present a method for hierarchically generating sound workflow nets by substitution of nets with multiple inputs and outputs. We show that this method is correct and generalizes the class of nets generated by other hierarchical approaches. The method involves a new notion of soundness which is preserved by the generalized type of substitution that is with the presented type of generalized sub...
متن کاملSoundness of Workflow Nets with Reset Arcs is Undecidable !
Petri nets are often used to model and analyze workflows. Many workflow languages have been mapped onto Petri nets in order to provide formal semantics or to verify correctness properties. Typically, the so-called Workflow nets are used to model and analyze workflows and variants of the classical soundness property are used as a correctness notion. Since many workflow languages have cancelation...
متن کاملAn analytical method for well-formed workflow/Petri net verification of classical soundness
In this paper we consider workflow nets as dynamical systems governed by ordinary difference equations described by a particular class of Petri nets. Workflow nets are a formal model of business processes. Well-formed business processes correspond to sound workflow nets. Even if it seems necessary to require the soundness of workflow nets, there exist business processes with conditional behavio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006